wilson's theorem example